EQUIVALENCE statement
英 [ɪˈkwɪvələns ˈsteɪtmənt]
美 [ɪˈkwɪvələns ˈsteɪtmənt]
等值语句；等价语句
双语例句
- This paper tries to prove equivalence of Kelvin Statement and Clausius Statement of the second law of thermodynamics under negative absolute temperature by reduction to absurdity.
用反证法证明在负绝对温度下热力学第二定律的开尔文表述和克劳修斯表述等效。 - Equivalence proving of operational and denotational semantics about Repeat-until statement
Repeat-until语句的操作语义与指称语义的等价性证明